Wyniki
-
A Semantics for Equational Hybrid Propositional Type Theory
Maria Manzano, Manuel A. Martins, Antonia Huertas
Bulletin of the Section of Logic , 43 /3-4 (2014) s. 121-138
Maria Manzano,
Manuel A. Martins,
Antonia Huertas
Bulletin of the Section of Logic
, 43
/3-4
(2014)
s. 121-138